and use them to prove related results